According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a consequence, relative (...) counting requires the relativization either of quantifiers, or of identity, or of the is one of relation. However, some of these relativizations do not deliver the expected results, and others rely on problematic assumptions. In another broad variety of relativization, cardinality ascriptions are about concepts or sets. The most promising development of this approach is prima facie connected with a violation of the so-called Coreferentiality Constraint, according to which an identity statement is true only if its terms have the same referent. Moreover - even provided that the problem with coreferentiality can be fixed - the resulting analysis of cardinality ascriptions meets several difficulties. (shrink)

Commonsense ontology often conflicts with the ontology of our best scientific and philosophical theories. However, commonsense ontology, and commonsense belief systems in general, seems to be remarkably efficient and cognitively fundamental. In cases of contrast, it is better to find a way to reconcile commonsense and ”theoretical” ontologies. Given that commonsense ontologies are typically expressed within natural language, a classical procedure of reconciliation is semantical. The strategy is that of individuating the ”ontologically problematic” expressions of natural language and paraphrasing the (...) sentences in which they appear in a (formal) language whose commitments are compatible with those of our best theories. We believe that this strategy of reconciliation, though quite standard, especially in the philosophical literature, is problematic: for a start, it forces us to conclude that the ”real content” of our commonsense expressions and beliefs is different from what it appears. Commonsense ontology becomes just an illusion. We will thus propose an alternative approach: according to our view, a commonsense ontology is reconciled with a theoretical ontology in case it is shown that the explanation of why we believe in the existence of a problematic entity is compatible with our best theories. We will call this kind of reconciliation ”epistemic”. The advantage of an epistemic reconciliation is that commonsense ontology is treated in its own right and could be taken prima facie. Another advantage of the view is that epistemic reconciliation can be analysed through the notion of explaining away: a commonsense ontology is epistemically reconciled with a theoretical ontology if and only if the problematic entities of the commonsense ontology are explained away by ”respectable” entities of the theoretical ontology. In the final part of the paper, we sketch a formal analysis of explaining away. (shrink)

In this short paper we consider Linnebo's thin/thick dichotomy: first, we show that it does not overlap with the very common one between abstract/concrete objects; second, on the basis of some difficulties with the distinction, we propose, as a possible way out, to move from thin/thick objects to thin/thick concepts.

Are identity criteria grounding principles? A prima facie answer to this question is positive. Specifically, two-level identity criteria can be taken as principles related to issues of identity among objects of a given kind compared with objects of a more basic kind. Moreover, they are grounding metaphysical principles of some objects with regard to others. In the first part of the paper we criticise this prima facie natural reading of identity criteria. This result does not mean that identity criteria could (...) not be taken as grounding principles. In the second part, we propose some basic steps towards a conceptual reading of grounding. Such a way of understanding it goes along with an epistemic reading of identity criteria. (shrink)

We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...) S4 modal translation, we give a de nition of a system AHL of bi-intuitionistic logic that correctly represents the duality between intuitionistic and co-intuitionistic logic, correcting a mistake in previous work [7, 10]. A computational interpretation of cointuitionism as a distributed calculus of coroutines is then used to give an operational interpretation of subtraction.Work on linear co-intuitionism is then recalled, a linear calculus of co-intuitionistic coroutines is de ned and a probabilistic interpretation of linear co-intuitionism is given as in [9]. Also we remark that by extending the language of intuitionistic logic we can express the notion of expectation, an assertion that in all situations the truth of p is possible and that in a logic of expectations the law of double negation holds. Similarly, extending co-intuitionistic logic, we can express the notion of conjecture that p, de ned as a hypothesis that in some situation the truth of p is epistemically necessary. (shrink)

Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On the (...) basis of this extension we analyse the standard logical opposition relations for assertions and hypotheses. We formulate a pragmatic square of oppositions for assertions and a hexagon of oppositions for hypotheses. Finally, we give a mixed hexagon of oppositions to point out the opposition relations for assertions and hypotheses. (shrink)

According to strong composition as identity, the logical principles of one–one and plural identity can and should be extended to the relation between a whole and its parts. Otherwise, composition would not be legitimately regarded as an identity relation. In particular, several defenders of strong CAI have attempted to extend Leibniz’s Law to composition. However, much less attention has been paid to another, not less important feature of standard identity: a standard identity statement is true iff its terms are coreferential. (...) We contend that, if coreferentiality is dropped, indiscernibility is no help in making composition a genuine identity relation. To this aim, we analyse as a case study Cotnoir’s theory of general identity, in which indiscernibility is obtained thanks to a revisionary semantics and true identity statements are allowed to connect non-coreferential terms. We extend Cotnoir’s strategy for indiscernibility to the relation of comaternity, and we show that, neither in the case of composition nor in that of comaternity, indiscernibility contibutes to show that they are genuine identity relations. Finally, we compare Cotnoir’s approach with other versions of strong CAI endorsed by Wallace, Bøhn, and Hovda, and canvass the extent to which they violate coreferentiality. The comparative analysis shows that, in order to preserve coreferentiality, strong CAI is forced to adopt a non-standard semantic treatment of the singular/plural distinction. (shrink)

What kind of reference (if any) do terms such as “pencil,” “chair,” “television,” and so on have? On the matter, a de-bate between directly referential theorists and descriptiv-ist theorists is open. It is largely acknowledged that natural kind terms (such as “water,” “gold,” “tiger,” etc.) are directly referential expressions (cf. Putnam,1975). That is, they are expressions whose reference is determined by their refer-ents' nature, independent of whether we know or will ever know what this nature is. However, it does not (...) seem like-wise convincing that all artifactual kind terms (like “pen-cil,” “chair,” “television,” etc.) semantically behave the same. Terms for artifactual kinds seem more likely to be subjected to a descriptivist view, that is, definable not by links to their extensions' nature but in terms of conjunctions or clusters of properties. In his celebrated “The Meaning of ‘Meaning’” (1975), Hilary Putnam originated the mentioned debate by arguing that artifactual kind terms also refer directly. Thus, the discussion ultimately revolves around establishing whether artifactual and natural kind terms are both directly referential expressions. The authors engaged in this debate have tried to argue in favor of (or against) Putnam's proposal by highlighting the similarities (or differences) between nat-ural vis-à-vis artifactual kind words and their respective ref-erents. This paper aims to provide a thorough and reasoned overview of the debate at stake, pointing out trends and problems associated with each proposed account. (shrink)

Can an identity be the proper subject of an explanation? A popular stance, albeit not one often argued for, gives a negative answer to this question. Building from a contentious passage from Jaegwon Kim in this direction, we reconstruct an argument to the conclusion that identities, to the extent in which they are necessary, cannot be explained. The notion of contrastive explanation, characterized as difference-seeking, will be crucial for this argument; however, we will eventually find the argument to be unsatisfactory. (...) On the contrary, the discussion provides enough resource to sketch a very simple framework for a non-causal contrastive explanation of identities. Many instances will be provided, with different varieties of explanans, ultimately suggesting that certain entailment or biconditional principles involving identities (first and foremost, so-called two-level identity criteria) may indeed be taken to have an inherent explanatory value. (shrink)

Conflicts between our best philosophical theories (BPTs) and our common beliefs are widespread. For example, if eliminativism is our BPT, then our BPT conflicts with common beliefs about the existence of middle-sized composite artifacts. “Compatibilism” is the name usually given to a theoretical attitude, according to which, in the case of a conflict between BPT and a common belief P, we should try to find a reconciliation. The two major variants of compatibilism are “semantic compatibilism” (SC) and “cognitive compatibilism” (CC). (...) According to SC, to be reconciled with BPT is the “real” version of the content of our ordinary assertions; according to CC, to be reconciled with BPT is the mental state we are “really” in while thinking P. In this paper, we present a new kind of compatibilism, epistemic compatibilism (EC). According to EC, to be reconciled with BPT is the explanation of why we believe that P. After presenting EC, we will argue that it fares better than SC and CC for at least two related reasons: EC does not rely on any form of what we call semantic or cognitive “recarving”; thus, EC avoids some sceptical problems that aect the other two versions of compatibilism. (shrink)

In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.

Since René Descartes famously separated the concepts of body and mind in the seventeenth century, western philosophy and theory have struggled to conceptualize the interconnectedness of minds, bodies, environments and cultures. While environmental psychology and the cognitive sciences have shown that spatial perception is 'embodied' and depends on the aforementioned concepts' interconnectedness, architectural design practice, for example, has rarely incorporated these insights. The article presents research on the epistemological foundations that frame the communication between design theory and practice and juxtaposes (...) it with scientific research on embodied experience. It further suggests that Asian aesthetics, with its long history in conceiving relations and art as interactive, could create a bridge between recent scientific insights and design practice. The article outlines an approach to the interconnectedness of minds, bodies, environments, the sciences and cultures, in favour of a future that is governed by creative wisdom rather than 'smart' efficiency. (shrink)

This article considers the question ‘What makes hope rational?’ We take Adrienne Martin’s recent incorporation analysis of hope as representative of a tradition that views the rationality of hope as a matter of instrumental reasons. Against this tradition, we argue that an important subset of hope, ‘fundamental hope’, is not governed by instrumental rationality. Rather, people have reason to endorse or reject such hope in virtue of the contribution of the relevant attitudes to the integrity of their practical identity, which (...) makes the relevant hope not instrumentally but intrinsically valuable. This argument also allows for a new analysis of the reasons people have to abandon hope and for a better understanding of non-fundamental, ‘prosaic’ hopes. (shrink)

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full-fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full-fledged objects. But whatever one takes "full-fledged object" to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look counterintuitive (...) to various philosophers. In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View . The Minimalist View may be summarized in the slogan: "Count x as an object iff it does not overlap with any y you have already counted as an object". The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all. We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting "conceptually salient" entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects. (shrink)

This paper proposes a new dialetheic logic, a Dialetheic Logic with Exclusive Assumptions and Conclusions ), including classical logic as a particular case. In \, exclusivity is expressed via the speech acts of assuming and concluding. In the paper we adopt the semantics of the logic of paradox extended with a generalized notion of model and we modify its proof theory by refining the notions of assumption and conclusion. The paper starts with an explanation of the adopted philosophical perspective, then (...) we propose our \ logic. Finally, we show how \ supports the dialetheic solution of the liar paradox. (shrink)

ABSTRACT Truth-conditions are systematically determined when they are the output of an algorithmic procedure that takes as input a set of semantic and contextual features. Truth-conditional sceptics have cast doubts on the thesis that truth-conditions are systematic in this sense. Against this form of scepticism, Schoubye and Stokke : 759–793) and Dobler : 451–474.) have provided systematic analyses of utterance truth-conditions. My aim is to argue that these theories are not immune to the kind of objections raised by truth-conditional sceptics. (...) In particular, I argue that the use of Questions Under Discussion and ways of being is problematic. (shrink)

This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention that such objections (...) show consequenceto be a primitive, indefinable notion, and that we must reject the claim that valid arguments necessarily preserve truth. We suggest that the accountsin question have the resources to meet the objections standardly thought to herald their demise and make two main claims: (i) that consequence, as opposed to logical consequence, is the epistemologically significant relation philosophers should be mainly interested in; and (ii) that consequence is a paradoxical notion if truth is. (shrink)

The aim of this paper is twofold: First, we present and develop a system of logic for pragmatics including the act of denial. Second, we analyse in our framework the so-called paradox of assertability. We show that it is possible to yield sentences that are not assertable. Moreover, under certain conditions, a symmetric result can be obtained: There is a specular paradox of deniability. However, this paradox is based on the problematic principle of classical denial equivalence.

In Mathematics is megethology. Philosophia Mathematica, 1, 3–23) David K. Lewis proposes a structuralist reconstruction of classical set theory based on mereology. In order to formulate suitable hypotheses about the size of the universe of individuals without the help of set-theoretical notions, he uses the device of Boolos’ plural quantification for treating second order logic without commitment to set-theoretical entities. In this paper we show how, assuming the existence of a pairing function on atoms, as the unique assumption non expressed (...) in a mereological language, a mereological foundation of set theory is achievable within first order logic. Furthermore, we show how a mereological codification of ordered pairs is achievable with a very restricted use of the notion of plurality without plural quantification. (shrink)

In Lewis reconstructs set theory using mereology and plural quantification (MPQ). In his recontruction he assumes from the beginning that there is an infinite plurality of atoms, whose size is equivalent to that of the set theoretical universe. Since this assumption is far beyond the basic axioms of mereology, it might seem that MPQ do not play any role in order to guarantee the existence of a large infinity of objects. However, we intend to demonstrate that mereology and plural quantification (...) are, in some ways, particularly relevant to a certain conception of the infinite. More precisely, though the principles of mereology and plural quantification do not guarantee the existence of an infinite number of objects, nevertheless, once the existence of any infinite object is admitted, they are able to assure the existence of an uncountable infinity of objects. So, ifMPQ were parts of logic, the implausible consequence would follow that, given a countable infinity of individuals, logic would be able to guarantee an uncountable infinity of objects. (shrink)

In this paper, we argue that solutions to normative challenges associated with autonomous driving, such as real-world trolley cases or distributions of risk in mundane driving situations, face the problem of reasonable pluralism: Reasonable pluralism refers to the fact that there exists a plurality of reasonable yet incompatible comprehensive moral doctrines within liberal democracies. The corresponding problem is that a politically acceptable solution cannot refer to only one of these comprehensive doctrines. Yet a politically adequate solution to the normative challenges (...) of autonomous driving need not come at the expense of an ethical solution, if it is based on moral beliefs that are (1) shared in an overlapping consensus and (2) systematized through public reason. Therefore, we argue that a Rawlsian justificatory framework is able to adequately address the normative challenges of autonomous driving and elaborate on how such a framework might be employed for this purpose. (shrink)

Statements such as “X is beautiful but I don’t like how it looks” or “I like how X looks but it is not beautiful” sound contradictory. How contradictory they sound might however depend on the object X and on the aesthetic adjective being used (“beautiful”, “elegant”, “dynamic”, etc.). In our study, the first sentence was estimated to be more contradictory than the latter: If we describe something as beautiful, we often intend to evaluate its appearance, whereas it is less counterintuitive (...) to appreciate an appearance without finding it beautiful. Furthermore, statements including “beautiful” appeared more contradictory than those including “elegant” and “dynamic”, pointing to its greater evaluative component. When related to artworks, sentences could appear less contradictory due to readers’ consideration of the divergence between conventional beauty and art-related sensory pleasures that can even include negative valence. Such ambivalence might be more frequent in art-objects than in other artefacts. Indeed, in our study, sentences referring to artworks were estimated to be less contradictory compared to sentences referring to other artefacts. Meanwhile, an additional small group of graphic design students showed a less clear difference between art-related and non-art-related sentences. We discuss the potential influence of art experience and interest as well as theoretical and methodological challenges like the conceptualization of beauty. (shrink)

In this paper we investigate how the dynamic nature of words’ meanings plays a role in a philosophical theory of meaning. For ‘dynamic nature’ we intend the characteristic of being flexible, of changing according to many factors (speakers, contexts, and more). We consider meaning as something that gradually takes shape from the dynamic processes of communication. Accordingly, we present a draft of a theory of meaning that, on the one hand, describes how a private meaning is formed as a mental (...) state of individual agents during a lifetime of experiences, and, on the other hand, shows how a public meaning emerges from the interaction of agents. When communicating with each other, agents need to converge on a shared meaning of the words used, by means of a negotiation process. A public meaning is the abstract product of many of these processes while, at the same time, the private meanings are continually reshaped by each negotiation. Exploring this dynamics, we have been looking at the work done by computer scientists dealing with problems of heterogeneity of sources of information. We argue that a suitable solution for both disciplines lies in a systematic characterization of the processes of meaning negotiation. (shrink)

The standard rule of single privative modification replaces privative modifiers by Boolean negation. This rule is valid, for sure, but also simplistic. If an individual a instantiates the privatively modified property (MF) then it is true that a instantiates the property of not being an F, but the rule fails to express the fact that the properties (MF) and F have something in common. We replace Boolean negation by property negation, enabling us to operate on contrary rather than contradictory properties. (...) To this end, we apply our theory of intensional essentialism, which operates on properties (intensions) rather than their extensions. We argue that each property F is necessarily associated with an essence, which is the set of the so-called requisites of F that jointly define F. Privation deprives F of some but not all of its requisites, replacing them by their contradictories. We show that properties formed from iterated privatives, such as being an imaginary fake banknote, give rise to a trifurcation of cases between returning to the original root property or to a property contrary to it or being semantically undecidable for want of further information. In order to determine which of the three forks the bearers of particular instances of multiply modified properties land upon we must examine the requisites, both of unmodified and modified properties. Requisites underpin our presuppositional theory of positive predication. Whereas privation is about being deprived of certain properties, the assignment of requisites to properties makes positive predication possible, which is the predication of properties the bearers must have because they have a certain property formed by means of privation. (shrink)

One way to silence the powerless, Langton has taught us, is to pre-emptively disable their ability to do things with words. In this paper I argue that speakers can be silenced in a different way. You can let them speak, and obscure the meaning of their words afterwards. My aim is to investigate this form of silencing, that I call retroactive distortion. In a retroactive distortion, the meaning of the words of a speaker is distorted by the effect of a (...) subsequent speech act by a different speaker. After introducing this notion, I explore some reasons why retroactive distortions can be difficult to challenge and argue that, besides constituting a communicative injustice, they can eliminate topics from public consideration and therefore erode public debate. (shrink)

In the 1951 Gibbs lecture, Gödel asserted his famous dichotomy, where the notion of informal proof is at work. G. Priest developed an argument, grounded on the notion of naïve proof, to the effect that Gödel’s first incompleteness theorem suggests the presence of dialetheias. In this paper, we adopt a plausible ideal notion of naïve proof, in agreement with Gödel’s conception, superseding the criticisms against the usual notion of naïve proof used by real working mathematicians. We explore the connection between (...) Gödel’s theorem and naïve proof so understood, both from a classical and a dialetheic perspective. (shrink)

In To be is to be the object of a possible act of choice the authors defended Boolos’ thesis that plural quantification is part of logic. To this purpose, plural quantification was explained in terms of plural reference, and a semantics of plural acts of choice, performed by an ideal team of agents, was introduced. In this paper, following that approach, we develop a theory of concepts that—in a sense to be explained—can be labeled as a theory of logical concepts. (...) Within this theory, we propose a new logicist approach to natural numbers. Then, we compare our logicism with Frege’s traditional logicism. (shrink)

Pragmatic modulation makes contextual information necessary for interpretation. This poses a problem for homophonic reports and inter-contextual communication in general: of co-situated interlocutors, we can expect some common ground, but non-co-situated interpreters lack access to the context of utterance. Here I argue that we can nonetheless share modulated contents via homophonic reports. First, occasion-unspecific information is often sufficient for the recovery of modulated content. Second, interpreters can recover what is said with different degrees of accuracy. Homophonic reports and inter-contextual communication (...) are often successful because the reporting context does not demand full accuracy. (shrink)

The paper emphasizes the inadequacy of formal semantics, the classical paradigm in semantics, in treating contextual dependence. Some phenomena of contextual dependence threaten one central assumption of the classical paradigm, namely the idea that linguistic expressions have a fixed meaning, and utterances have truth conditions well defined. It is possible to individuate three forms of contextual dependence: the one affecting pure indexicals, the one affecting demonstratives and "contextual expressions", and the one affecting all linguistic expressions. The third type of dependence (...) is top-down: context, and not only linguistic material, shows which variables must be instantiated, relying on context itself. The generalization of underdetermination to all linguistic expressions is in fact a kind of metadependence: the mode of dependence itself depends on context. (shrink)

Implicating, as it is conceived in recent pragmatics, amounts to conveying a (propositional) content without saying it – a content providing no contribution to the truth-conditions of the proposition expressed by the sentence uttered. In this sense, implicating is a notion closely related to the work of Paul Grice (1913-1988) and of his precursors, followers and critics. Hence, the task of this article is to introduce and critically examine the explicit/implicit distinction, the Gricean notion of implicature (conventional and conversational) and (...) its recent developments and connections with the speaker's intentions, communicative responsibility and rationality. (shrink)

Contextualism is a view about meaning, semantic content and truth-conditions, bearing significant consequences for the characterisation of explicit and implicit content, the decoding/inferring distinction and the semantics/pragmatics interface. According to the traditional perspective in semantics (called "literalism" or "semantic minimalism"), it is possible to attribute truth-conditions to a sentence independently of any context of utterance, i.e. in virtue of its meaning alone. We must then distinguish between the proposition literally expressed by a sentence ("what is said" by the sentence, its (...) literal truth-conditions) and the implicit meaning of the sentence ("what is implicated" by a speaker uttering the sentence). Over the past forty years, however, an increasing number of linguists and philosophers have begun to underline the phenomenon of semantic underdetermination: the encoded meaning of the sentence employed by a speaker underdetermines the proposition explicitly expressed by an utterance of that sentence. According to the extreme version of this perspective – labelled "radical contextualism" - no sentence of a natural language expresses a complete proposition, or has fixed truth-conditions, even when unambiguous and devoid of indexicals. A sentence expresses a proposition only when completed and enriched with pragmatic constituents that do not correspond to any syntactic element of the sentence and yet are part of its semantic interpretation. More broadly, "contextualism" may be used to refer to a family of views which includes moderate contextualism (also called "indexicalism"), radical contextualism and non-indexical contextualism – and which contrasts with semantic minimalism. (shrink)

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

When the necessity of identity (NI) is combined with composition as identity (CAI), the contingency of composition (CC) is at risk. In the extant literature, either NI is seen as the basis for a refutation of CAI or CAI is associated with a theory of modality, such that: either NI is renounced (if counterpart theory is adopted); or CC is renounced (if the theory of modal parts is adopted). In this paper, we investigate the prospects of a new variety of (...) CAI, which aims to preserve both NI and CC. This new variety of CAI (CCAI, contingent composition as identity) is the quite natural product of the attempt to make sense of CAI on the background of a broadly Kripkean view of modality, such that one and the same entity is allowed to exist at more than one possible world. CCAI introduces a world-relative kind of identity, which is different from standard identity, and claims that composition is this kind of world-relative identity. CCAI manages to preserve NI and CC. We compare CCAI with Gibbard’s and Gallois’ doctrines of contingent identity and we show that CCAI can be sensibly interpreted as a form of Weak CAI, that is of the thesis that composition is not standard identity, yet is significantly similar to it. (shrink)

In this paper we introduce some logical and philosophical refinements to OntoClean, first by developing some formal constraints on identity criteria, secondly by specifying a kind of identity criteria, two level identity criteria, whose role is to explain an identity among some entities referring to some other, more basic, entities. Using such refinement we add a formal constraint to the stock of OntoClean meta-constraints (OC+). We, then, observe that two level identity criteria have an intuitive reading in terms of dependence (...) of a kind of entities on some other entities, possibly specified in terms of a grounding relation. Are identity criteria grounding principles? In the second part of the paper we discuss this option. (shrink)

In this paper, we approach the problem of classical recapture for LP and K3 by using normality operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we establish a classical recapture (...) result based on the two logics. In the second part of the paper, we compare the approach in terms of normality operators with an established approach to classical recapture, namely minimal inconsistency. Finally, we discuss technical issues connecting LPe and Ke3 to the tradition of Logics of Formal Inconsistency and Underterminedness. (shrink)

The article introduces the problematics of the classical two-valued logic on which Western thought is generally based, outlining that under the conditions of its logical assumptions the subject I is situated in a world that it cannot address. In this context, the article outlines a short history of cybernetics and the shift from first- to second-order cybernetics. The basic principles of Gordon Pask’s 1976 Conversation Theory are introduced. It is argued that this second-order theory grants agency to others through a (...) re-conception of living beings as You logically transcending the I. The key principles of Conversation Theory are set in relation to the poetic forms of discourse that played a key role in art as well as philosophical thinking in China in the past. Second-order thinking, the article argues, is essentially poetic. It foregoes prediction in favour of the potentiality of encountering tomorrow’s delights. (shrink)

Rawls saw need for non-ideal theory also within society but never developed that project. In this chapter, Card suggests that the non-ideal part of Rawls’ Law of Peoples can be a resource for thinking about responding to evils when the subject is not state-centered. It is plausible that defense against great evils other than those of aggressive states should be governed by analogues of scruples that Rawlsian well-ordered societies observe in defending themselves against outlaw states. This essay explores those hypotheses (...) in relation to women’s self-defense and mutual defense against evils of misogyny, the term feminists apply to the most deeply hostile environments of and attitudes toward women and girls and to the cruelest wrongs to them/us, regardless whether perpetrators harbor feelings of hatred. It extrapolates and adapts to this case values, concepts, and methods from Rawls’s life’s work, especially his writing on war. (shrink)

In "Demonstratives" Kaplan claims that the occurrence of a demonstrative must be supplemented by an act of demonstration, like a pointing (a feature of the objective context). Conversely in "After-thoughts" Kaplan argues that the occurrence of a demonstrative must be supplemented by a directing intention (a feature of the intentional con-text). I present the two theories in competition and try to identify the constraints an intention must satisfy in order to have semantic rele-vance. My claim is that the analysis of (...) demonstrative reference pro-vides a reliable test for our intuitions on the relation between objective and intentional context. I argue that the speaker's intentions can play a semantic role only if they satisfy an Availability Constraint: an inten-tion must be made available or communicated to the addressee, and for that purpose the speaker can exploit any feature of the objective con-text. This thesis implies the reconciliation between "Demonstratives" and "Afterthoughts". (shrink)

In this paper, I argue that Marx's central concern, consistent throughout his works, is to challenge and overcome hierarchical oppositions, which he considers as the core of modern, capitalist societies and the cause of alienation. The young Marx critiques the hierarchical idealism/materialism opposition. In this opposition, idealism abstracts from and reduces all material elements to the mind (or spirit), and materialism abstracts from and reduces all mental abstractions to the body (or matter). The mature Marx sophisticates this critique with his (...) theory of the commodity fetish. The commodity fetish abstracts the exchange-value (the mind) from the commodity's use-value (the body). Although Marx aims to challenge capitalism by abolishing the hierarchical relation among binary oppositions, I show that in his early and later writings on the working-class woman, he reinforces hierarchical binaries, pointing at the gendered unconscious structure of capitalism. (shrink)

Following the traces of Margaret Mead’s statement that emphasized that the first photographic images of the Earth from space presented notions of fragility, the article contextualizes the recent critique of the dominant representation of the Earth as a globe that emerged in conjunction with the discourse on the Anthropocene. It analyses the globe as an image and the sentiments that accompanied it since the first photographs of our planet from space were published in 1968. The article outlines how the cultural (...) meaning of the whole Earth representation changed in parallel with the appropriation of the image by the large technological enterprises that emerged from America’s counterculture. It returns to the possibility of a coexistence of ‘views from within’ and ‘views from without’ following a detour with Gregory Bateson via Bali and proposes a Cybernetics of Grace as a practice of resistance against pure exteriority. The article concludes by linking the Cybernetics of Grace with the second-order conversations of Gordon Pask. (shrink)

The editorial introduces issue 21.1 of Technoetic Arts via a critical reflection on the artificial intelligence hype (AI hype) that emerged in 2022. Tracing the history of the critique of Large Language Models, the editorial underscores that the recent calls for slowing down the development of AI, as promoted by the technology industry, do not signify a shift towards reason and considerate economics. Instead, as these calls are firmly embedded in narratives where the power to decide for the majority of (...) humanity lies solely with the CEOs of AI companies, they are indicative of a relentless pursuit of economic interests. The technology industry has consistently downplayed criticism over the years. -/- While patterns of creative output can be replicated without a thorough understanding of underlying concepts, the editorial highlights the distinction between the current AI technology's reliance on extensive pre-existing human-generated data for pattern recognition and the performative process inherent in art practice. This performative process, as explored through the conceptual frameworks of creativity by Noam Chomsky, Charles Sanders Peirce, and Roger T. Ames and with reference to an earlier publication of the editorial's author, continually 'strives to extend itself towards the unknown.' -/- Following this introductory section, the editorial provides an overview of the ten articles featured in this issue of Technoetic Arts. The first four texts engage with emerging technologies from various perspectives in art and design. The subsequent six articles, part of a special section titled 'Perspectives from Chandigarh,' reflect a quest for meaningful existence within colonial, patriarchal, and biopolitical structures that frame everyday practices of exclusion and oppression. (shrink)

The precautionary principle (PP) aims to anticipate and minimize potentially serious or irreversible risks under conditions of scientific uncertainty. Thus it preserves the potential for future developments. It has been incorporated into many international treaties and pieces of national legislation for environmental protection and sustainable development. In this article, we outline an interpretation of the PP as a framework of orientation for a sustainable information society. Since the risks induced by future information and communication technologies (ICT) are social risks for (...) the most part, we propose to extend the PP from mainly environmental to social subjects of protection. From an ethical point of view, the PP and sustainability share the principle of intergenerational justice, which can be used as an argument to preserve free space for the decisions of future generations. Applied to technical innovation and to ICT issues in particular, the extended PP can serve as a framework of orientation to avoid socio-economically irreversible developments. We conclude that the PP is a useful approach for: (i) policy makers to reconcile information society and sustainability policies and (ii) ICT companies to formulate sustainability strategies. (shrink)

Thinking of the evils of homophobia and what is needed to survive them requires acknowledging a new category of evil besides the evils of individual deeds, social practices and social structures. That further category is evil social environments. Building on the work of Jeremy Waldron on the harm in hate speech, this chapter extends that account to certain hate crimes that, like the written word, send a lingering social message. The cases of four women survivors of homophobia are then examined (...) in relation to such harm. Two who wrote memoirs had been targeted for murder, one in an evil environment, the other in a more positively responsive environment. The remaining two survival stories are less dramatic. But they are important in how they illustrate ordinary challenges faced successfully by lesbians and gay men in emotionally toxic environments, and how, in this sense, those not directly threatened with murder might still be justly regarded as survivors. The chapter concludes with reflections on the meanings of survival and some of the costs of surviving an evil homophobic environment. (shrink)

In De Anima III 10, Aristotle introduces the notion of phantasía logistikē as one of the principles of rational action. On the basis of some texts from De Anima and the Nicomachean Ethics, the paper seeks to interpret the place of that type of imagination in practical reasoning. To that e ect, it rst sets forth Aristotle’s doctrine regarding the principles of action and the issue of their articulation, and then goes on to discuss the role of rational imagination in (...) the con guration of the object of desire. (shrink)

In this article we consider argumentation as an epistemic process performed by an agent to extend and revise her beliefs and gain knowledge, according to the information provided by the environment. Such a process can also generate the suspension of the claim under evaluation. How can we account for such a suspension phenomenon in argumentation process? We propose: (1) to distinguish two kinds of suspensions – critical suspension and non-critical suspension – in epistemic change processes; (2) to introduce a Paraconsistent (...) Weak Kleene logic (PWK) based belief revision theory which makes use of the notion of topic to distinguish the two kinds of suspensions previously mentioned, and (3) to develop a PWK-style argumentation framework and its expansion. By doing that, we can distinguish two kinds of suspensions in an epistemic process by virtue of the notion of topic. (shrink)

In her latest book, The End of Progress, Amy Allen embarks on an ambitious and much-needed project: to decolonize contemporary Frankfurt School Critical Theory. As with all of her books, this is an exceptionally well-written and well-argued book. Allen strives to avoid making assertions without backing them up via close and careful textual reading of the thinkers she engages in her book. In this article, I will state why this book makes a central contribution to contemporary critical theory (in the (...) broader sense), after which I pose a few questions. These questions are not meant to prove that there are any serious problems with her argumentation. Instead, they are meant in the spirit of dialogue and allow her to elaborate her work for her audience. (shrink)